Making exhaustive search programs deterministic

This paper presents a technique for compiling a Horn-clause program intended for exhaustive search into a GHC (Guarded Horn Clauses) program. The technique can be viewed also as a transformation technique for Prolog programs which compiles away the ‘bagof’ primitive and non-determinate bindings. The class of programs to which our technique is applicable is shown with a static checking algorithm; it is nontrivial and could be extended. An experiment on a compiler-based Prolog system showed that our technique improved the efficiency of exhaustive search by 6 times for a permutation generator program. This compilation technique is important also in that it exploits the AND-parallelism of GHC for parallel search.     

Links between Immune Cells from the Periphery and the Brain in the Pathogenesis of Epilepsy: A Narrative Review

Accumulating evidence has demonstrated that the pathogenesis of epilepsy is linked to neuroinflammation and cerebrovascular dysfunction. Peripheral immune cell invasion into the brain, along with these responses, is implicitly involved in epilepsy. This review explored the current literature on the association between the peripheral and central nervous systems in the pathogenesis of epilepsy, and highlights novel research directions for therapeutic interventions targeting these reactions. Previous experimental and human studies have demonstrated the activation of the innate and adaptive immune responses in the brain. The time required for monocytes (responsible for innate immunity) and T cells (involved in acquired immunity) to invade the central nervous system after a seizure varies. Moreover, the time between the leakage associated with blood–brain barrier (BBB) failure and the infiltration of these cells varies. This suggests that cell infiltration is not merely a secondary disruptive event associated with BBB failure, but also a non-disruptive event facilitated by various mediators produced by the neurovascular unit consisting of neurons, perivascular astrocytes, microglia, pericytes, and endothelial cells. Moreover, genetic manipulation has enabled the differentiation between peripheral monocytes and resident microglia, which was previously considered difficult. Thus, the evidence suggests that peripheral monocytes may contribute to the pathogenesis of seizures.     

An Engineered Biliverdin-Compatible Cyanobacteriochrome Enables a Unique Ultrafast Reversible Photoswitching Pathway

Cyanobacteriochromes (CBCRs) are promising optogenetic tools for their diverse absorption properties with a single compact cofactor-binding domain. We previously uncovered the ultrafast reversible photoswitching dynamics of a red/green photoreceptor AnPixJg2, which binds phycocyanobilin (PCB) that is unavailable in mammalian cells. Biliverdin (BV) is a mammalian cofactor with a similar structure to PCB but exhibits redder absorption. To improve the AnPixJg2 feasibility in mammalian applications, AnPixJg2_BV4 with only four mutations has been engineered to incorporate BV. Herein, we implemented femtosecond transient absorption (fs-TA) and ground state femtosecond stimulated Raman spectroscopy (GS-FSRS) to uncover transient electronic dynamics on molecular time scales and key structural motions responsible for the photoconversion of AnPixJg2_BV4 with PCB (Bpcb) and BV (Bbv) cofactors in comparison with the parent AnPixJg2 (Apcb). Bpcb adopts the same photoconversion scheme as Apcb, while BV4 mutations create a less bulky environment around the cofactor D ring that promotes a faster twist. The engineered Bbv employs a reversible clockwise/counterclockwise photoswitching that requires a two-step twist on ~5 and 35 picosecond (ps) time scales. The primary forward P_fr → P_o transition displays equal amplitude weights between the two processes before reaching a conical intersection. In contrast, the primary reverse P_o → P_fr transition shows a 2:1 weight ratio of the ~35 ps over 5 ps component, implying notable changes to the D-ring-twisting pathway. Moreover, we performed pre-resonance GS-FSRS and quantum calculations to identify the Bbv vibrational marker bands at ~659,797, and 1225 cm⁻¹. These modes reveal a stronger H-bonding network around the BV cofactor A ring with BV4 mutations, corroborating the D-ring-dominant reversible photoswitching pathway in the excited state. Implementation of BV4 mutations in other PCB-binding GAF domains like AnPixJg4, AM1_1870g3, and NpF2164g5 could promote similar efficient reversible photoswitching for more directional bioimaging and optogenetic applications, and inspire other bioengineering advances.     

Chemical Modification of Phage-Displayed Helix-Loop-Helix Peptides to Construct Kinase-Focused Libraries

Conformationally constrained peptides hold promise as molecular tools in chemical biology and as a new modality in drug discovery. The construction and screening of a target-focused library could be a promising approach for the generation of de novo ligands or inhibitors against target proteins. Here, we have prepared a protein kinase-focused library by chemically modifying helix-loop-helix (HLH) peptides displayed on phage and subsequently tethered to adenosine. The library was screened against aurora kinase A (AurA). The selected HLH peptide Bip - 3 retained the α-helical structure and bound to AurA with a K_D value of 13.7 μM. Bip - 3 and the adenosine-tethered peptide Bip - 3 - Adc provided IC₅₀ values of 103 μM and 7.7 μM, respectively, suggesting that Bip - 3 - Adc bivalently inhibited AurA. In addition, the selectivity of Bip - 3 - Adc to several protein kinases was tested, and was highest against AurA. These results demonstrate that chemical modification can enable the construction of a kinase-focused library of phage-displayed HLH peptides.     

Band Gap Modification of Diamond Photonic Crystals by Changing the Volume Fraction of the Dielectric Lattice

Photonic crystals with a diamond structure of epoxy lattices in which TiO₂-based ceramic particles are dispersed were fabricated by stereolithography. The periodicity of the lattice was designed to reflect electromagnetic waves in the gigahertz range. The volume fraction (β) of the dielectric lattice medium was modified from 14% to 33% by changing the rod diameter of the lattice. The photonic band gap was observed along Γ-L 〈111〉, Γ-X 〈100〉, and Γ-K 〈110〉 directions and the complete photonic band gap was formed at over β= 20%. The width of the forbidden gap increased gradually when the β increased over 14%, and reached 2.4 GHz at β= 33%. These results agreed with the band calculation using the plane wave expansion method.     

New polylactide/layered silicate nanocomposites. 5. Designing of materials with desired properties

Understanding the structure/property relationship in polymer/layered silicate nanocomposites is of great importance in designing materials with desired properties. In order to understand these relations, a series of polylactide (PLA)/organically modified layered silicate (OMLS) nanocomposites have been prepared using a simple melt extrusion technique. Four different types of OMLS have been used for the preparation of nanocomposites, three were modified with functionalized ammonium salts while fourth one was a phosphonium salt modified OMLS. The structure of the nanocomposites in the nanometer scale was characterized by using wide-angle X-ray diffraction and transmission electron microscopic observations. Using four different types of layered silicates modified with four different types of surfactants, the effect of OMLS in nanocomposites was investigated by focusing on four major aspects: structural analysis, thermal properties and spherulite morphology, materials properties, and biodegradability. Finally, we draw conclusions about the structure/property relationship in the case of PLA/OMLS nanocomposites.     

Synthesis of ordered polymers by direct polycondensation

A series of ordered polymers can be prepared by direct polycondensation of nonsymmetric monomers using diphenyl(2,3-dihydro-2-oxo-3-benzothiazolyl)phosphonate (1) as a condensing agent. The methodology and requirements for the preparation of ordered polymer are first presented. Then, the following ordered polymer syntheses are described: (1) ordered polyamides (head-to-head or tail-to-tail) from a symmetric monomer and a nonsymmetric monomer. (2) the ordered polyamide (head-to-tail) from a symmetric monomer and a nonsymmetric monomer. (3) the ordered (-abcd-) polymer from a pair of two symmetric monomers and a nonsymmetric monomer. (4) the ordered (-abcdef-) polymer from nonsymmetric monomers, XabX, YcdY, and ZefZ.     

Strength and Fracture Toughness of Isostatically Hot-Pressed Composites of Al2O3 and Y2O3-Partially-Stabilized ZrO2

Composites of Al₂O₃ and Y₂O₃ partially-stabilized ZrO₂ were isostatically hot-pressed using submicrometer powders as the starting material. The addition of Al₂O₃ resulted in a large increase in bending strength. The average bending strength for a composite containing 20 wt% Al₂O₃ was 2400 MPa, and its fracture toughness was 17 MN·w^−3/2     

Designing elastomer network for desired tire performance characteristics

Rubber elasticity is associated with changes in configurational entropy of a long chain. Because the chain cannot change its configuration instantaneously, there is a time delay in deformation to an applied force. This delayed response is the source of viscoelasticity and hysteresis energy loss of elastomer networks. Many tire performance properties are related to the viscoelasticity of tire components. Wet and dry traction of tire is related to the energy loss of the tread material at very high frequencies. On the other hand, rolling resistance of tire is characterized by the energy loss of tread material at relatively low frequencies. The dynamic viscoelastic properties of elastomer network shows characteristic zones on a frequency scale. At very high frequencies the energy loss is controlled by the segmental motions of the polymer chain. At lower frequencies the energy loss is related to the longer range motions of the chain. A series of polymers was synthesized to study the effect of micro- and macro-structure of the polymer on the viscoelastic properties of tread compounds and their tire performance properties. As expected from the theory, the wet traction of the tire was highly correlated to the segmental motions of the chains; namely, the glass transition temperature of the polymer. The energy loss of the compounds at a higher temperature, however, was related to the macrostructure of the polymer chain. Those examples illustrate that the fundamental understanding of the theory of elastomer network allows a tire engineer to obtain the best balance of tire performance characteristics.